2421. 100,mathematical proof
پدیدآورنده : Rowan Garnier, John Taylor
موضوع : Proof theory,Logic, symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
2422. mathematical proof
Author: / Rowan Garnier, John Taylor
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Proof theory,Logic, Symbolic and mathematical
Classification :
QA9
.
54
.
G367
1996
2423. 100% mathematical proof
Author: Garnier, Rowan.
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: ، Proof theory,، Logic, Symbolic and mathematical
Classification :
QA
9
.
54
.
G367
1996
2424. 100 mathematical proof
Author: Garnier, Rowan.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Proof theory,، Logic, Symbolic and mathematical
Classification :
QA
9
.
54
.
G367
1996
2425. mathematical proof
Author: / Rowan Garnier, John Taylor
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Proof theory,Logic, Symbolic and mathematical
Classification :
QA9
.
54
.
G367
1996
2426. Nonclassical logics and information processing : international workshop, Berlin , November 9-10, 1990 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Artificial intelligence-- Congresses
Classification :
QA
76
.
5
.
N664
1992
2427. numeric computation-Symbolic
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computable functions ; Data processing ; Congresses. ; Numerical analysis ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;
2428. philosophicus-Tractatus logico
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical. ; Language and languages ; Philosophy. ;
2429. programs-as-Adapting proofs
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Howard isomorphism. ; Proof theory. ; Logic, Symbolic and mathematical. ; Functional programming (Computer science) ; Lambda calculus. ; Abstract data types (Computer science) ; -Curry
2430. routledge philosophy guidebook to wittgenstein and the tractatus
Author: morris, michael
Library: Library of Farabi Campus of Tehran University (Qom)
Subject:
Classification :
B
3376
.
W563T7345
2008
2431. 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
Author: edited by W. Bibel and R. Kowalski
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L4
v
.
87
2432. 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
Author: edited by W. Bibel and R. Kowalski
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
87
2433. 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982
Author: / edited by D.W. Loveland
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
76
.
9
,.
A96
,
C66
,
1982
2434. 9th International Conference on Automated Deduction :
Author: E. Lusk, R. Overbeek (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving-- Congresses.,Logic, Symbolic and mathematical-- Congresses.
Classification :
QA76
.
9
.
A96
I57
1988
2435. 8th International Conference on Automated Deduction :
Author: edited by Jörg H. Siekmann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving -- Congresses.,Automatic theorem proving.,Logic, Symbolic and mathematical -- Congresses.
2436. 8th International Conference on Automated Deduction
Author: edited by Jپ rg H. Siekmann
Library: Vali Asr University Central Library (Kerman)
Subject: Automatic theorem proving -- Congresses,Logic, Symbolic and mathematical -- Congresses
Classification :
QA
76
.
9
.
A96
,
I57
1986
2437. 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988: Proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses
Classification :
QA
76
.
9
.
A96
.
I57
1988
2438. 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, proceedings
Author: E. Lusk, R. Overbeek )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
310
2439. 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings
Author: edited by R.E. Shostak
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L4
v
.
170
2440. 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings
Author: edited by R.E. Shostak
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
170
